3.20.81 \(\int \frac {a d e+(c d^2+a e^2) x+c d e x^2}{(d+e x)^{7/2}} \, dx\) [1981]

Optimal. Leaf size=41 \[ -\frac {2 \left (a-\frac {c d^2}{e^2}\right )}{3 (d+e x)^{3/2}}-\frac {2 c d}{e^2 \sqrt {d+e x}} \]

[Out]

-2/3*(a-c*d^2/e^2)/(e*x+d)^(3/2)-2*c*d/e^2/(e*x+d)^(1/2)

________________________________________________________________________________________

Rubi [A]
time = 0.02, antiderivative size = 41, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.057, Rules used = {24, 45} \begin {gather*} -\frac {2 \left (a-\frac {c d^2}{e^2}\right )}{3 (d+e x)^{3/2}}-\frac {2 c d}{e^2 \sqrt {d+e x}} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*x^2)/(d + e*x)^(7/2),x]

[Out]

(-2*(a - (c*d^2)/e^2))/(3*(d + e*x)^(3/2)) - (2*c*d)/(e^2*Sqrt[d + e*x])

Rule 24

Int[(u_.)*((a_) + (b_.)*(v_))^(m_)*((A_.) + (B_.)*(v_) + (C_.)*(v_)^2), x_Symbol] :> Dist[1/b^2, Int[u*(a + b*
v)^(m + 1)*Simp[b*B - a*C + b*C*v, x], x], x] /; FreeQ[{a, b, A, B, C}, x] && EqQ[A*b^2 - a*b*B + a^2*C, 0] &&
LeQ[m, -1]

Rule 45

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Rubi steps

\begin {align*} \int \frac {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}{(d+e x)^{7/2}} \, dx &=\frac {\int \frac {a e^3+c d e^2 x}{(d+e x)^{5/2}} \, dx}{e^2}\\ &=\frac {\int \left (\frac {-c d^2 e+a e^3}{(d+e x)^{5/2}}+\frac {c d e}{(d+e x)^{3/2}}\right ) \, dx}{e^2}\\ &=-\frac {2 \left (a-\frac {c d^2}{e^2}\right )}{3 (d+e x)^{3/2}}-\frac {2 c d}{e^2 \sqrt {d+e x}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.03, size = 33, normalized size = 0.80 \begin {gather*} -\frac {2 \left (a e^2+c d (2 d+3 e x)\right )}{3 e^2 (d+e x)^{3/2}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*x^2)/(d + e*x)^(7/2),x]

[Out]

(-2*(a*e^2 + c*d*(2*d + 3*e*x)))/(3*e^2*(d + e*x)^(3/2))

________________________________________________________________________________________

Maple [A]
time = 0.51, size = 39, normalized size = 0.95

method	result	size
gosper	\(-\frac {2 \left (3 c d e x +e^{2} a +2 c \,d^{2}\right )}{3 \left (e x +d \right )^{\frac {3}{2}} e^{2}}\)	\(31\)
trager	\(-\frac {2 \left (3 c d e x +e^{2} a +2 c \,d^{2}\right )}{3 \left (e x +d \right )^{\frac {3}{2}} e^{2}}\)	\(31\)
derivativedivides	\(\frac {-\frac {2 \left (e^{2} a -c \,d^{2}\right )}{3 \left (e x +d \right )^{\frac {3}{2}}}-\frac {2 c d}{\sqrt {e x +d}}}{e^{2}}\)	\(39\)
default	\(\frac {-\frac {2 \left (e^{2} a -c \,d^{2}\right )}{3 \left (e x +d \right )^{\frac {3}{2}}}-\frac {2 c d}{\sqrt {e x +d}}}{e^{2}}\)	\(39\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)/(e*x+d)^(7/2),x,method=_RETURNVERBOSE)

[Out]

2/e^2*(-1/3*(a*e^2-c*d^2)/(e*x+d)^(3/2)-c*d/(e*x+d)^(1/2))

________________________________________________________________________________________

Maxima [A]
time = 0.27, size = 33, normalized size = 0.80 \begin {gather*} -\frac {2 \, {\left (3 \, {\left (x e + d\right )} c d - c d^{2} + a e^{2}\right )} e^{\left (-2\right )}}{3 \, {\left (x e + d\right )}^{\frac {3}{2}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)/(e*x+d)^(7/2),x, algorithm="maxima")

[Out]

-2/3*(3*(x*e + d)*c*d - c*d^2 + a*e^2)*e^(-2)/(x*e + d)^(3/2)

________________________________________________________________________________________

Fricas [A]
time = 2.48, size = 49, normalized size = 1.20 \begin {gather*} -\frac {2 \, {\left (3 \, c d x e + 2 \, c d^{2} + a e^{2}\right )} \sqrt {x e + d}}{3 \, {\left (x^{2} e^{4} + 2 \, d x e^{3} + d^{2} e^{2}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)/(e*x+d)^(7/2),x, algorithm="fricas")

[Out]

-2/3*(3*c*d*x*e + 2*c*d^2 + a*e^2)*sqrt(x*e + d)/(x^2*e^4 + 2*d*x*e^3 + d^2*e^2)

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 126 vs. \(2 (41) = 82\).
time = 0.62, size = 126, normalized size = 3.07 \begin {gather*} \begin {cases} - \frac {2 a e^{2}}{3 d e^{2} \sqrt {d + e x} + 3 e^{3} x \sqrt {d + e x}} - \frac {4 c d^{2}}{3 d e^{2} \sqrt {d + e x} + 3 e^{3} x \sqrt {d + e x}} - \frac {6 c d e x}{3 d e^{2} \sqrt {d + e x} + 3 e^{3} x \sqrt {d + e x}} & \text {for}\: e \neq 0 \\\frac {c x^{2}}{2 d^{\frac {3}{2}}} & \text {otherwise} \end {cases} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*d*e+(a*e**2+c*d**2)*x+c*d*e*x**2)/(e*x+d)**(7/2),x)

[Out]

Piecewise((-2*a*e**2/(3*d*e**2*sqrt(d + e*x) + 3*e**3*x*sqrt(d + e*x)) - 4*c*d**2/(3*d*e**2*sqrt(d + e*x) + 3*
e**3*x*sqrt(d + e*x)) - 6*c*d*e*x/(3*d*e**2*sqrt(d + e*x) + 3*e**3*x*sqrt(d + e*x)), Ne(e, 0)), (c*x**2/(2*d**
(3/2)), True))

________________________________________________________________________________________

Giac [A]
time = 1.24, size = 33, normalized size = 0.80 \begin {gather*} -\frac {2 \, {\left (3 \, {\left (x e + d\right )} c d - c d^{2} + a e^{2}\right )} e^{\left (-2\right )}}{3 \, {\left (x e + d\right )}^{\frac {3}{2}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)/(e*x+d)^(7/2),x, algorithm="giac")

[Out]

-2/3*(3*(x*e + d)*c*d - c*d^2 + a*e^2)*e^(-2)/(x*e + d)^(3/2)

________________________________________________________________________________________

Mupad [B]
time = 0.60, size = 34, normalized size = 0.83 \begin {gather*} -\frac {2\,a\,e^2-2\,c\,d^2+6\,c\,d\,\left (d+e\,x\right )}{3\,e^2\,{\left (d+e\,x\right )}^{3/2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x*(a*e^2 + c*d^2) + a*d*e + c*d*e*x^2)/(d + e*x)^(7/2),x)

[Out]

-(2*a*e^2 - 2*c*d^2 + 6*c*d*(d + e*x))/(3*e^2*(d + e*x)^(3/2))

________________________________________________________________________________________